how many types of operating system